Mathematical structure

Results: 1236



#Item
221Protein structure / Applied mathematics / Computational biology / Mathematical and theoretical biology / Protein structure prediction / Structural bioinformatics / Christian B. Anfinsen / Protein–protein interaction prediction / Anders Krogh / Bioinformatics / Biology / Science

NATURVIDENSKABLIG FAKULTET KØBENHAVNS UNIVERSITET PhD position in statistical protein structure prediction, Copenhagen One of the major unsolved problems in bioinformatics is the protein folding problem: given an amin

Add to Reading List

Source URL: www.eio.uva.es

Language: English - Date: 2013-11-28 02:11:00
222Mathematical analysis / Non-linear systems / Systems theory / Dynamical systems / Singularity theory / Catastrophe theory / Attractor / Chaos theory / Lorenz attractor / Bifurcation theory / Mathematics / Structure

CHAPTER 2 THE MATHEMATICS OF DISCONTINUITY AOn the plane of philosophy properly speaking, of metaphysics, catastrophe theory cannot, to be sure, supply any answer to the great problems which torment mankind. But it fav

Add to Reading List

Source URL: cob.jmu.edu

Language: English - Date: 2007-12-14 11:41:04
223Risk / Investment / Mathematical finance / Enterprise risk management / Net present value / Project management / Internal rate of return / Corporate finance / Risk breakdown structure / Actuarial science / Management / Business

Kinematic Analysis of a Space Mechanism—Rendezvous Simulator

Add to Reading List

Source URL: www.abhinavjournal.com

Language: English - Date: 2013-12-17 06:12:48
224Algebra / O-minimal theory / Strongly minimal theory / Definable set / Morley rank / Uniform space / Vector space / Structure / Imaginary element / Model theory / Mathematics / Mathematical logic

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Notes on o-Minimality and Variations DUGALD MACPHERSON

Add to Reading List

Source URL: library.msri.org

Language: English - Date: 2001-06-12 16:44:11
225Mathematical logic / Model theory / Proof of knowledge / Functions and mappings / IP / Zero-knowledge proof / Structure / Functor / Soundness / Mathematics / Cryptographic protocols / Logic

A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2013-03-13 12:33:24
226Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Model theory / Function / Boolean satisfiability problem / Structure / Parameter / Mathematics / Theoretical computer science / Mathematical logic

Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2014-05-24 11:45:01
227Coding theory / Operations research / Convex optimization / Linear programming / Linear programming relaxation / Conic optimization / Relaxation / Linear code / Parity-check matrix / Mathematics / Algebra / Mathematical optimization

Linear and conic programming relaxations: Graph structure and message-passing

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2010-10-20 16:19:00
228Mathematics / Mathematical analysis / Multivariable calculus / Partial differential equation

Internet Appendix for “Macroeconomic Conditions and the Puzzles of Credit Spreads and Capital Structure” Hui Chen∗ September 25, 2009

Add to Reading List

Source URL: www.mit.edu

Language: English - Date: 2009-09-25 14:23:36
229Numerical analysis / Mathematical analysis / CFX / Multiphysics / HFSS / Fluid-structure interaction / Finite element method / Rotordynamics / Fluid dynamics / Physics / Ansys

Capabilities brochure-16.0.indd

Add to Reading List

Source URL: www.cadfem.de

Language: English - Date: 2015-01-30 05:20:49
230Structure / Heteroclinic cycle / Bifurcation theory / Chaos theory / Heteroclinic orbit / Homoclinic orbit / Markov partition / Attractor / Ergodic theory / Dynamical systems / Mathematical analysis / Systems theory

Curriculum Vitae PROFESSOR MICHAEL J FIELD November 25, 2013 CITIZENSHIP:

Add to Reading List

Source URL: math.rice.edu

Language: English - Date: 2013-11-25 13:22:14
UPDATE